A non-commutative time-frequency tomography

The characterization of non-stationary signal requires joint time and frequency information. However, time and frequency are a pair of non-commuting variables that cannot constitute a joint probability density in the time-frequency plane. The time-frequency distributions have difficult interpretation problems arising from negative and complex values or spurious components. In this paper, we get time-frequency information from the marginal distributions in rotated directions in the time-frequency plane. The rigorous probability interpretation of the marginal distributions is without any ambiguities. This time-frequency transformation is similar to the computerized axial tomography (CT or CAT) and is applied to signal analysis and signal detection and reveals a lot of advantages especially in the signal detection of the low signal/noise (S/N).     

Conflict Pattern Analysis: Preparing the Ground for Participation in Policy Implementation

The participation of non-state actors in implementation processes is often understood as a means to increase compliance efficiency. But the implementation of spatial policies frequently focuses on pre-established goals, processes and instruments and thus renders difficult open discourse and shared decision-making. This paper introduces conflict pattern analysis (CPA) as a tool that supports the analysis of the actual actor constellation in order to define efficient approaches that avoid common problems of participatory processes. CPA is a semi-formalised method that helps to identify key-actors, their relations and interaction amongst each other as well as their core beliefs, interests and resources. It aggregates this information to interaction patterns that can be compared, classified and linked to different participatory methods on a theoretically informed basis. Particularly on the local and regional level, this could be the first step for successful (participatory) implementation strategies.     

ROLE OF α-PSEUDO-UNIVEX FUNCTIONS IN VECTOR VARIATIONAL-LIKE INEQUALITY PROBLEMS

In this paper, we introduce a new class of generalized convex function, namely, a-pseudounivex function, by combining the concepts of pseudo-univex and α-invex functions. Further, we establish some relationships between vector variational-like inequality problems and vector optimization problems under the assumptions of α-pseudo-univex functions. Results obtained in this paper present a refinement and improvement of previously known results.     

A theoretical model for mid-and low-latitude ionospheric electric fields in realistic geomagnetic fields

The geomagnetic fields, which play important roles in the ionospheric dynamo, can greatly affect the global distribution of ionospheric electric fields, currents and other ionospheric electrodynamics phenomena. In the study of ionospheric electrodynamics phenomena, such as the longitudinal variations of ionospheric electric fields, the non-dipolar component of the geomagnetic fields must be taken into account. In this paper, we deduce a theoretical electric field model for ionospheric dynamo at mid- and low-latitude which adopt a modified magnetic apex coordinates system. In the new electric field model, the geomagnetic fields can be calculated from either the IGRF model or the dipole field model, and the neutral winds and conductivities are calculated based on empirical models. Then the dynamo equation for the electric potential is finally solved in terms of the line-by-line iteration method, and the ionospheric electric fields and currents are derived from the calculated potential. Our model can reproduce the main features of the ionospheric electrodynamics processes, so it will be a useful tool for the investigation of the upper atmosphere and ionosphere.     

Applying Petri-Net-Based Reduction Approach for Verifying the Correctness of Workflow Models

0 IntroductionTobadaseyd’s o nintfhoer mflaotiwonof s ywsotrekmss t hhraovueg hbe tehne doervgealnoipzead-tion rather than based ontasks .Duetothistrend,work-flowand business process technology has been applied tovarious applications such as ERP, groupwares , E-mar-ketplaces , E-business etc . When business processes areapplied to these applications ,business processes are de-fined by process designers and business process instancesare executed by workflowengines or workflow manage-ment sys…     

On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.     

A novel mechanism for jumping in the indian ant<Emphasis Type="Italic">Harpegnathos saltator</Emphasis> (Jerdon) (Formicidae,Ponerinae)

The Indian antHarpegnathos saltator may be unique among insects in using its jumping capacity not only as an escape mechanism but also as a normal means of locomotion, and for catching its prey in flight. High-speed cinematography used to analyse the various phases of the jump suggests thatHarpegnathos employs a novel jumping mechanism to mediate these behaviours: namely the synchronous activation of its middle and hindlegs. Electrophysiological recordings from muscles or nerves in pairs of middle and hindlegs show remarkably synchronous activity during fictive jumping, supporting the synchronous activation hypothesis.Harpegnathos is not the only ant to jump, and a cladistic analysis suggests that jumping behaviour evolved independently three times during ant evolutionary history.     

Lightning activity on the central Tibetan Plateau and its response to convective available potential energy

Lightning flash activities on the central Tibetan Plateau have been studied by using the satellite-based Lightning Imaging Sensor(LIS)database from January 1998 to July 2002.The lightning activity shows a clear diurnal variation on the central Plateau.The peak lightning activity appears at about 17:00 which is 3 h earlier than that in Jingxhou,Hubei in the same latitude belt nearby,indicating that the lightning activity is a sensitive indicator of solar heating on the Plateau.The lightning discharge is weaker on the Plateau than Jingzhou.Hubei and other low-altitude continental regions because of the lower convective available potential energy(CAPE)on the Plateau.The CAPE on the Plateau is 12 times lower than that in Jingzhou,Hubei,and 20 times lower than that in the sea-level region,such as Guangzhou and Florida.However,the sensitivity of lightning activity to CAPE changes on the Plateau is up to 30 times more sensitive than other prominent low-altitude regions.     

C－isotope composition and significance of the Sinian on the Tarim plate

102 samples of limestones,mudrocks shales and tillites from the Sinian in Kuluketage have been analyzed ,Four formations in the Sinian belong to glacial deposits in which the differences in δ^13C are distinct (-14.7‰- 4.2‰),Distinctly negative δ^13C excursions for three times support the viwe of three glacial deposits in this area suggested by previous authors,except for the durations of them ,δ^13C values are generally positive in the Beiyixi Formation of lower part of the Lower Sinian ,representing probably the rock records of a continental rift related to break-up of the Rodinian supercontinent,There are three times of distinct excursions of δ^13C curve in all strata,The first one is from positive values at the bottom to about -5‰ at the top of the Beiyixi Formation ,The second one,from 0‰-3‰ in the Arletonggou Formation of upper part of the Lower Sinian to -3.4‰---14.4‰ in the Teruiaiken Formation.The third one,from positive values in the Zhamoketi Formation of lower part of the Upper Sinian to negative values in glacial varves at the top of the Hankeerqiaoke Formation.     

A new Euprox from the Late Miocene of Yuanmou,Yunnan Province,China,with interpretation of its paleoenvironment

The Yuanmou Basin of Yunnan Province is a hotspot for the research of early homind evolution and its environmental background.During the implementation of the Program“Research of the Origin and Evolution of Early Man and Its Environmental Baqckground” from 1998 to 2001,a huge quantity of hominoid and mammal fossils were collected.The present report systematically describes an Euprox robustus sp.nov.identified during the recent laboratory work on the collected material.Euprox is a group of earliest cervids with true antlers.The new species is the third one of the genus discovered in China.Judged by its morphologic characteristics,the new species feed on juicy and tender leaves of dicotyledon.It implies that the vegetation of its epoch in the Yuanmou Basin is a kind of southern subtropical evergreen forest and the climate is humid and temperate with evident seasonality.The latter is mostly influenced by the monsoon and secondly by the latitude.